82 research outputs found
ENCOMPASS: A SAGA based environment for the compositon of programs and specifications, appendix A
ENCOMPASS is an example integrated software engineering environment being constructed by the SAGA project. ENCOMPASS supports the specification, design, construction and maintenance of efficient, validated, and verified programs in a modular programming language. The life cycle paradigm, schema of software configurations, and hierarchical library structure used by ENCOMPASS is presented. In ENCOMPASS, the software life cycle is viewed as a sequence of developments, each of which reuses components from the previous ones. Each development proceeds through the phases planning, requirements definition, validation, design, implementation, and system integration. The components in a software system are modeled as entities which have relationships between them. An entity may have different versions and different views of the same project are allowed. The simple entities supported by ENCOMPASS may be combined into modules which may be collected into projects. ENCOMPASS supports multiple programmers and projects using a hierarchical library system containing a workspace for each programmer; a project library for each project, and a global library common to all projects
Recommended from our members
Towards Tools to Support the Gries/Dijkstra Design Process ; CU-CS-594-92
Recommended from our members
Evolving Tools to Support the Gries/Dijkstra Design Process ; CU-CS-631-92
Recommended from our members
PLEASE: a Language Combining Imperative and Logic Programming ; CU-CS-381-87
Recommended from our members
An Example of Process Verification: the Gries/Dijkstra Design Method ; CU-CS-646-93
Recommended from our members
Evolving an Understanding of the Gries/Dijkstra Design Process ; CU-CS-624-92
Recommended from our members
An Evolving Simulation of the Gries/Dijkstra Design Process ; CU-CS-632-92
- …